<?php
+$a;